<component name="libraryTable">
  <library name="Maven: org.sat4j:org.sat4j.core:2.3.1">
    <CLASSES>
      <root url="jar://$MAVEN_REPOSITORY$/org/sat4j/org.sat4j.core/2.3.1/org.sat4j.core-2.3.1.jar!/" />
    </CLASSES>
    <JAVADOC>
      <root url="jar://$MAVEN_REPOSITORY$/org/sat4j/org.sat4j.core/2.3.1/org.sat4j.core-2.3.1-javadoc.jar!/" />
    </JAVADOC>
    <SOURCES>
      <root url="jar://$MAVEN_REPOSITORY$/org/sat4j/org.sat4j.core/2.3.1/org.sat4j.core-2.3.1-sources.jar!/" />
    </SOURCES>
  </library>
</component>